@misc{dummy,
title={{Nothing to see here, move along.}}
}

@inproceedings{haugen12,
  title={{CVL: Common Variability Language}},
  author={Haugen, {\O}. and W{\k{a}}sowski, A. and Czarnecki, K.},
  booktitle={Proc.of the SPLC'12},
  pages={266--267},
  year={2012},
  organization={ACM}
}

@article{thum12,
  title={{Analysis Strategies for Software Product Lines}},
  author={Th{\"u}m, T. and Apel, S. and K{\"a}stner, C. and Kuhlemann, M. and Schaefer, I. and Saake, G.},
  journal={School of Computer Science, University of Magdeburg, Tech. Rep. FIN-004-2012},
  year={2012}
}

@INPROCEEDINGS{classen10,
  author = {Classen, A. and Heymans, P. and Schobbens, P.Y. and Legay, A. and
Raskin, J.F.},
  title = {{Model Checking Lots of Systems: Efficient Verification of Temporal
	Properties in Software Product Lines}},
  booktitle = {Proc. of ICSE'10},
  year = {2010},
  pages = {335--344},
}

@ARTICLE{Kastner:Apel:Thum:Saake:2012,
  author = {C. K{\"a}stner and S. Apel and T. Th{\"u}m and G. Saake},
  title = {{Type Checking Annotation-Based Product Lines}},
  journal = {ACM TOSEM},
  year = {2012},
  volume = {21},
  pages = {14},
  number = {3},
}

@inproceedings{Kastner12,
 author = {K\"{a}stner, C. and von Rhein, A. and Erdweg, S.
 and Pusch, J. and Apel, S. and Rendel, T. and Ostermann, K.},
 title = {{Toward Variability-aware Testing}},
 booktitle = {Proc. of FOSD'12},
 year = {2012},
 pages = {1--8},
} 

@article{garces07,
  title={{Variability Management in a Model-Driven Software Product Line}},
  author={Garc{\'e}s, Kelly and Parra, Carlos and Arboleda, Hugo and Yie, Andr{\'e}s and Casallas, Rubby},
  journal={Revista Avances en Sistemas e Inform{\'a}tica},
  volume={4},
  number={2},
  pages={3--12},
  year={2007}
}

@inproceedings{haugen08,
  title={{Adding Standardized Variability to Domain Specific Languages}},
  author={Haugen, {\O} and Moller-Pedersen, B and Oldevik, Jon and Olsen, G{\o}ran K and Svendsen, Andreas},
  booktitle={Proc. of SPLC'08},
  pages={139--148},
  year={2008},
}

@inproceedings{czarn04,
author={Czarnecki, K. and Helsen, S. and Eisenecher, U.},
title={{Staged Configuration Using Feature Models}},
booktitle={Proc. of SPLC'04},
year={2004},
pages={266--283}
}

@inproceedings{schulze12,
  title={{Variant-Preserving Refactoring in Feature-Oriented Software Product Lines}},
  author={Schulze, S. and Th{\"u}m, T. and Kuhlemann, M. and Saake, G.},
  booktitle={Proc. of VAMOS'12},
  pages={73--81},
  year={2012},
}



@ARTICLE{Apel:Kastner:2009,
  author = {S. Apel and C. K{\"a}stner},
  title = {{An Overview of Feature-Oriented Software Development}},
  journal = {J. of Object Technology},
  year = {2009},
  volume = {8},
  pages = {49-84},
  number = {5},
}

@article{neves11,
  title={{Investigating the Safe Evolution of Software Product Lines}},
  author={Neves, L. and Teixeira, L. and Sena, D. and Alves, V. and Kulezsa, U.  and Borba, P.},
  journal={ACM SIGPLAN Notices},
  volume={47},
  number={3},
  pages={33--42},
  year={2011},
}

@inproceedings{seidl12,
  title={{Co-Evolution of Models and Feature Mapping in Software Product Lines}},
  author={Seidl, C. and Heidenreich, F. and A{\ss}mann, U.},
  booktitle={Proc. of SPLC'12},
  pages={76--85},
  year={2012},
}

@Article{Borba:Teixeira:Gheyi:2012,
 author = {Borba, P. and Teixeira, L. and Gheyi, R.},
 title = {{A Theory of Software Product Line Refinement}},
 journal = {J. of Theoretical CS},
 volume = {455},
 year = {2012},
 pages = {2--30},
}


@InProceedings{Czarnecki:Antkiewicz:2005,
    author = {K. Czarnecki and M. Antkiewicz},
	title = {{Mapping Features to Models: A Template Approach Based on Superimposed Variants}},
	booktitle = {Proc. of GPCE'05},
	year = {2005},
	pages = {422--437},
}


@inproceedings{Acher:Collet:Lahire:France:2010,
  author    = {M. Acher and
               Ph. Collet and
               Ph. Lahire and
               R. France},
  title     = {{Comparing Approaches to Implement Feature Model Composition}},
  booktitle = {Proc. of ECMFA'10},
  year      = {2010},
  pages     = {3-19},
}

@inproceedings{Kastner:Apel:2008,
author = {C.  K{\"a}stner and S. Apel},
title = {{Integrating Compositional and Annotative Approaches for Product Line Engineering.}},
booktitle ={Proc. of McGPLE Workshop at GPCE'08},
year = {2008},
pages = {35-40},
}

@inproceedings{famelis12,
  author    = {M. Famelis and
               R. Salay and
               M. Chechik},
  title     = {{Partial Models: Towards Modeling and Reasoning with Uncertainty}},
  booktitle = {Proc. of ICSE'12},
  pages     = {573--583},
  year      = {2012},
}

@inproceedings{Classen:Heymans:Tun:Nuseibeh:2009,
  author    = {A. Classen and
               P. Heymans and
               T. T. Tun and
               B. Nuseibeh},
  title     = {{Towards Safer Composition}},
  booktitle = {Proc. of ICSE'2009, Companion Volume},
  pages     = {227--230},
  year      = {2009},
}

@incollection{flores13,
  title={{Second-Generation Product Line Engineering: A Case Study at General Motors}},
  author={Flores, R. and Krueger, Ch. and Clements, P.},
  editor = {R. Capilla and J. Bosch and K.C. Kang},
  booktitle={Systems and Software Variability Management},
  pages={223--250},
  year={2013},
  publisher={Springer}
}

@inproceedings{rubin12,
  author    = {J. Rubin and
               M. Chechik},
  title     = {{Combining Related Products into Product Lines}},
  booktitle = {Proc. of FASE'12},
  pages     = {285--300},
  year      = {2012}
}

@inproceedings{GMcasestudy,
  title = {{Model Transformations for Migrating Legacy Models:  An
Industrial Case Study}},
  author = {G.M.K. Selim and Sh. Wang and J.R. Cordy and J. Dingel},
  booktitle = {Proc. of ECMFA'12},
  pages={90--101},
  year={2012},
  publisher={Springer}
}

misc{systemp,
  title={{AUTOSAR} {C}onsortium. {AUTOSAR} {S}ystem {T}emplate, \url{http://{AUTOSAR}.org/index.php?p=3\&up=1\&uup=3\& uuup=3\&uuuup=0\& uuuuup=0/{AUTOSAR}\_{TPS}\_{S}ystem{T}emplate.pdf}},
  year={2007}
}

@misc{systemp,
  title={{AUTOSAR} {C}onsortium. {AUTOSAR} {S}ystem {T}emplate,
  \url{http://AUTOSAR.org/index.php?p=3\&up=1\&uup=3\& uuup=3\&uuuup=0\&
  uuuuup=0/AUTOSAR\_TPS\_SystemTemplate.pdf}}, year={2007}
}

@Misc{simulinkEGS,
  title = 	 {{A}utomotive {S}imulink {E}xamples, \url{http://www.mathworks.com/help/simulink/examples.html#d0e477}}
  }

@inproceedings{selimICGT2014,
  title={{Specification and Verification of Graph-Based Model Transformation Properties}},
  author={G.M.K. Selim and L.  L{\'u}cio and J. Cordy and J. Juergen
and B.J. Oakes},
   booktitle = {Proc. of ICGT'14},
  year={2014},
  pages={113-129}
}

@InProceedings{VOLT2012,
  author = 	 {M. Amrani and L.  {L}\'ucio and G. {S}elim and
	B. Combemale and J. Dingel and H. Vangheluwe,
	and Y. Le Traon and J.R. Cordy},
  title = 	 {{A Tri-dimensional Approach for Studying the Formal Verification
	of Model Transformations}},
  booktitle = {Proc. of VOLT'12},
  pages = 	 {921--928},
  year = 	 {2012}
}

@article{rahim2013survey,
  title={{A S}urvey of {A}pproaches for {V}erifying {M}odel {T}ransformations},
  author={Rahim, L. A. and Whittle, J.},
  journal={SoSyM},
  pages={1--26},
  year={2013},
  publisher={Springer}
}

@InProceedings{BarrocaLAFS10,
  Title                    = {{DSLTrans: A Turing Incomplete Transformation Language}},
  Author                   = {Barroca, B. and L\'ucio, L. and Amaral, V. and F{\'e}lix, R. and Sousa, V.},
  Booktitle                = {Proc. of SLE'10},
  Year                     = {2010},
  Pages                    = {296-305},
  Publisher                = {Springer},
}

@Article{Sendall2003,
  Title                    = {{Model Transformation: The Heart and Soul of Model-Driven Software Development}},
  Author                   = {Sendall, S. and Kozaczynski, W.},
  Journal                  = {IEEE Software},
  Year                     = {2003},
  Month                    = {September},
  Pages                    = {42--45},
  Volume                   = {20},
  Address                  = {Los Alamitos, CA, USA},
  Issue                    = {5},
  Numpages                 = {4},
  Publisher                = {IEEE}
}

@article{LAD+2014,
year={2014},
journal={SoSyM},
title={{Model Transformation Intents and Their Properties}},
publisher={Springer Berlin Heidelberg},
author={L\'ucio, L. and Amrani, M. and Dingel, J. and Lambers, L. and Salay, R. and Selim, G.M.K. and Syriani, E. and Wimmer, M.},
pages={1-38},
}

@InProceedings{EhrigEhrigTaentzerdeLaraVarroVarro2005,
  Title                    = {{Termination {Criteria for Model Transformation}}}},
  Author                   = {Ehrig, H.-K. and Taentzer, G. and De Lara, J. and Varr{\'o}, D. and Varr{\'o}-Gyapai, S.},
  Booktitle                = {Transformation Techniques in Software Engineering},
  Year                     = {2005},
  Publisher                = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany}
}

@Article{J:Lambers-etAl-2006,
  Title                    = {{E}fficient {D}etection of {C}onflicts in {G}raph-based {M}odel {T}ransformation},
  Author                   = {Lambers, L. and Ehrig, H. and Orejas, F.},
  Journal                  = {Electronic Notes in Computer Science},
  Year                     = {2006},
  Volume                   = {152}
}

@InProceedings{Lucio:10,
  Title                    = {{A Technique for Automatic Validation of Model Transformations}},
  Author                   = {L\'{u}cio, L. and Barroca, B. and Amaral, V.},
  Booktitle                = {Proc. of MoDELS'10},
  Year                     = {2010},
  Pages                    = {136--150},
  Publisher                = {Springer},
}

@TechReport{LOH+14,
  Title                    = {{A Technique for Symbolically Verifying Properties of Graph-Based Model Transformations}},
  Author                   = {L\'ucio, L. and Oakes, B. J. and Vangheluwe, H.},
  Institution              = {McGill University},
  Year                     = {2014},
  Note                     = {\url{http://msdl.cs.mcgill.ca/people/levi/30\_publications/files/A\_Technique\_\\for\_Symbolically\_Verifying\_Properties\_of\_Model\_Transf.pdf}},
  Number                   = {SOCS-TR-2014.1}
}


@INPROCEEDINGS{Rubin:Chechik_Quality:2013,
    author = {Julia Rubin and Marsha Chechik},
    title = {{Quality of Merge-Refactorings for Product Lines}},
    booktitle = {Proc. of FASE'13},
    year = {2013},
    pages = {83-98},
}



@inproceedings{salay14,
	author = {Salay, R. and Famelis, M. and Rubin, J. and Di Sandro,
				A. and Chechik, M.},
	title = {{Lifting Model Transformations to Product Lines}},
	booktitle = {Proc. of ICSE'14},
	year = {2014},
	pages = {117--128},
	numpages = {12},
} 


@inproceedings{ratiu12,
	author = {Ratiu, Daniel and Voelter, Markus and Molotnikov, Zaur and Schaetz,
	Bernhard},
	title = {Implementing Modular Domain Specific Languages and Analyses},
	booktitle = {Proc. of MoDeVVA'12},
	year = {2012},
	isbn = {978-1-4503-1801-3},
	location = {Innsbruck, Austria},
	pages = {35--40},
	numpages = {6},
	url = {http://doi.acm.org/10.1145/2427376.2427383},
	doi = {10.1145/2427376.2427383},
	acmid = {2427383},
	publisher = {ACM},
	address = {New York, NY, USA},
	keywords = {domain specific languages, validation and
	verification},
} 


@inproceedings{james11,
	editor = {Peter Hofner, Annabelle McIver, Georg Struth},
	booktitle = {ATE-2011 -- Proceedings of the First Workshop on Automated Theory
	Engineering},
	publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings},
	author = {Phillip James, Markus Roggenbach},
	title = {Designing Domain Specific Languages for Verification: First Steps},
	volume = {760},
	year = {2011},
}

@inproceedings{czarnecki03,
	title={Classification of model transformation approaches},
	author={Czarnecki, Krzysztof and Helsen, Simon},
	booktitle={Proceedings of the 2nd OOPSLA Workshop on Generative Techniques
	in the Context of the Model Driven Architecture},
	volume={45},
	number={3},
	pages={1--17},
	year={2003},
	organization={Citeseer}
}
@book{ehrig06,
	title={Fundamentals of algebraic graph transformation},
	author={Ehrig, Hartmut and Ehrig, Karsten and Prange, Ulrike and Taentzer,
	Gabriele},
	volume={373},
	year={2006},
	publisher={Springer}
}


@manual{UML10,
    author = {{Object Management Group}},
    posted-at = {2010-05-13 08:54:24},
    publisher = {Object Management Group},
    series = {OMG Available Specification},
    title = {UML Superstructure Specification Version 2.3},
    url = {http://www.omg.org/spec/UML/2.3/Superstructure/PDF/},
    year = {2010}
}

@article{Schatz10,
  author    = {B. Sch{\"{a}}tz},
  title     = {{Verification of Model Transformations}},
  journal   = {{ECEASST}},
  volume    = {29},
  year      = {2010},
}

@inproceedings{pretschner07,
 author = {Pretschner, A. and Broy, M. and Kruger, I. H. and Stauner, T.},
 title = {{Software Engineering for Automotive Systems: A Roadmap}},
 booktitle = {Proc. of FOSE '07},
 year = {2007},
 pages = {55--71}
} 


@book{gronback09,
  title={{Eclipse Modeling Project}},
  author={Gronback, R.},
  year={2009},
  publisher={Addison Wesley}
}

@inproceedings{z3,
 author = {De Moura, Leonardo and Bj{\o}rner, Nikolaj},
 title = {{Z3: An Efficient SMT Solver}},
 booktitle = {Proc. of  TACAS'08},
  series = {LNCS},
 year = {2008},
 pages = {337--340},
}


@incollection{randomsat,
	year={2004},
	isbn={978-3-540-23241-4},
	booktitle={Proc of CP'2004},
	title={{Understanding Random SAT: Beyond the Clauses-to-Variables Ratio}},
	author={Nudelman, E. and Leyton-Brown, K. and Hoos, H. and
	Devkar, A. and Shoham, Y.},
	pages={438-452},
}


@inproceedings{arendt10,
 author = {Arendt, T. and Biermann, E. and Jurack, S. and Krause, C. and
Taentzer, G},
 title = {{``Henshin: advanced concepts and tools for in-place EMF model
transformations''}},
 booktitle = {Proc. of MODELS'10},
 year = {2010},
 pages = {121--135},
}
